Stepwise refinement of sequence diagrams with soft real-time constraints
نویسندگان
چکیده
منابع مشابه
Stepwise refinement of sequence diagrams with soft real-time constraints
Article history: Received 6 July 2012 Received in revised form 4 January 2013 Accepted 12 August 2014 Available online 25 March 2015
متن کاملStepwise refinement of sequence diagrams with soft real - time requirements
UML sequence diagrams and similar notations are much used to specify computer systems, serving for example as specifications for programmers, or as a means for validating requirements. When specifying and analyzing computer systems, probabilities are often essential, in particular for capturing soft real-time requirements. It is also important to be able to specify systems at different levels o...
متن کاملSpecification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams
Soft real-time requirements are often related to communication in distributed systems. Therefore it is interesting to understand how UML sequence diagrams can be used to specify such requirements. We propose a way of integrating soft real-time requirements in sequence diagram specifications by adding probabilities to timed sequence diagrams. Our approach builds on timed STAIRS, which is an appr...
متن کاملRefinement Inference for Sequence Diagrams
Refinement is fundamental to software development. An earlier work proposed a refinement relation between sequence diagrams based on their required behaviors. In this paper, we first generalize the refinement relation by taking into account system variable assignment and event hiding, renaming and substitution. We then give an algorithm as a system of inference rules that does not just verify r...
متن کاملStepwise Refinement of Processes
Industry is looking to create a market in reliable “plug-and-play” components. To model components in a modular style it would be useful to combine event-based and state-based reasoning. One of the first steps in building an event-based model is to decide upon a set of atomic actions. This choice will depend on the formalism used, and may restrict in quite unexpected ways what we are able to fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2015
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2015.03.003